141. The Palgrave centenary companion to Principia mathematica /
Author: edited by Nicholas Griffin, McMaster University, Canada and Bernard Linsky, University of Alberta, Canada
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Russell, Bertrand,1872-1970., Principia mathematica,Whitehead, Alfred North,1861-1947., Principia mathematica,Logic, Symbolic and mathematical,Mathematics-- Philosophy
Classification :
QA9
.
W53
P35
2013
142. The Real Number
Author: / by John Stillwell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
143. The birth of model theory :
Author: Calixto Badesa ; translated by Michael Maudsley ; revised by the author
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Löwenheim, Leopold,1878-1957,Logic, Symbolic and mathematical,Model theory
Classification :
QA9
.
7
.
B23
2004
144. The equations :
Author: / Sander Bais
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Equations, Theory of,Logic, Symbolic and mathematical
Classification :
E-BOOK
145. Theorem proving with analytic tableaux and related methods :
Author: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
Classification :
QA76
.
9
.
A96
P484
1995
146. Theorem proving with the real numbers.
Author: John Harrison
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
J646
2012
147. Traffic Control and Transport Planning:
Author: by Dušan Teodorović, Katarina Vukadinović.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.
148. Trends in mathematics and computational intelligence /
Author: Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence.,Computational intelligence.
Classification :
Q342
.
T74
2019eb
149. Vollstandige systeme modaler und intuitioni tischor logik
Author: Schutte, Kurt
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Model theory,، Logic symbolic and mathematical
Classification :
QA
9
.
7
.
S39V6
150. What Logics Mean
Author: / James W. Garson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
Classification :
BC71
.
G37
2013
151. What logics mean : from proof theory to model-theoretic semantics
Author: James W. Garson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Semantics,، Logic, Symbolic and mathematical
Classification :
BC
71
.
G37W45
153. λ-Calculus and Computer Science Theory :
Author: edited by C. Böhm. B�ohm, C.,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
5
E358
1975
